3e591db9c121d7ebd38055c92af4f43aaa79c50d,src/main/java/at/ac/tuwien/kr/alpha/solver/heuristics/BerkMin.java,BerkMin,getActivity,#number#,137

Before Change



	@Override
	public double getActivity(int literal) {
		Double activity = activityCounters.get(atomOf(literal));
		return defaultActivityIfNull(activity);
	}
	

After Change



	@Override
	public double getActivity(int literal) {
		return activityCounters.getOrDefault(atomOf(literal), DEFAULT_ACTIVITY);
	}
	
	/**